go/types.Checker.verifyVersionf (method)
25 uses
go/types (current package)
builtins.go#L234: check.verifyVersionf(call.Fun, go1_21, "clear")
builtins.go#L583: check.verifyVersionf(call.Fun, go1_21, "built-in %s", bin.name)
builtins.go#L668: check.verifyVersionf(call.Fun, go1_26, "new(%s)", arg)
builtins.go#L733: check.verifyVersionf(call.Fun, go1_17, "unsafe.Add")
builtins.go#L865: check.verifyVersionf(call.Fun, go1_17, "unsafe.Slice")
builtins.go#L887: check.verifyVersionf(call.Fun, go1_20, "unsafe.SliceData")
builtins.go#L904: check.verifyVersionf(call.Fun, go1_20, "unsafe.String")
builtins.go#L924: check.verifyVersionf(call.Fun, go1_20, "unsafe.StringData")
call.go#L44: versionErr := !check.verifyVersionf(instErrPos, go1_18, "function instantiation")
call.go#L296: check.verifyVersionf(atPos(ix.lbrack), go1_18, "function instantiation")
call.go#L605: _ = len(genericArgs) > 0 && check.verifyVersionf(args[genericArgs[0]], go1_21, "implicitly instantiated function as argument")
decl.go#L529: _ = !versionErr && check.isImportedConstraint(rhs) && check.verifyVersionf(tdecl.Type, go1_18, "using type constraint %s", rhs)
decl.go#L542: if !versionErr && tparam0 != nil && !check.verifyVersionf(tparam0, go1_23, "generic type alias") {
decl.go#L545: if !versionErr && !check.verifyVersionf(atPos(tdecl.Assign), go1_9, "type alias") {
decl.go#L599: if !versionErr && tparam0 != nil && !check.verifyVersionf(tparam0, go1_18, "type parameter") {
expr.go#L663: if !allUnsigned(y.typ) && !check.verifyVersionf(y, go1_13, invalidOp+"signed shift count %s", y) {
resolver.go#L451: _ = d.decl.Type.TypeParams.NumFields() != 0 && !hasTParamError && check.verifyVersionf(d.decl.Type.TypeParams.List[0], go1_18, "type parameter")
signature.go#L308: check.verifyVersionf(rbase, go1_18, "type instantiation")
typeset.go#L276: if pos.IsValid() && check != nil && check.isImportedConstraint(typ) && !check.verifyVersionf(atPos(pos), go1_18, "embedding constraint interface %s", typ) {
typeset.go#L285: if pos.IsValid() && check != nil && !check.verifyVersionf(atPos(pos), go1_18, "embedding interface element %s", u) {
typeset.go#L299: if pos.IsValid() && check != nil && !check.verifyVersionf(atPos(pos), go1_18, "embedding non-interface type %s", typ) {
typexpr.go#L34: if !check.verifyVersionf(e, go1_18, "predeclared %s", e.Name) {
typexpr.go#L41: if !check.verifyVersionf(e, go1_18, "predeclared %s", e.Name) {
typexpr.go#L288: check.verifyVersionf(inNode(e, ix.lbrack), go1_18, "type instantiation")
version.go#L61: func (check *Checker) verifyVersionf(at positioner, v goVersion, format string, args ...any) bool {